Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
81	BRICS RS-05-7 P. D. Mosses: Modular Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:07:46 Computing Logic in computer science Operational semantics Denotational semantics Semantics Programming language Expression Action semantics Monad Software engineering Theoretical computer science Programming language semantics
82	BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-22 05:30:06 Continuations Functional programming Continuation-passing style Programming language semantics Eval Evaluation strategy Continuation Lambda calculus Operational semantics Software engineering Computing Control flow
83	A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 08:35:46 Computer science Programming language semantics Models of computation Type theory Lambda calculus Denotational semantics Type system Evaluation strategy Operational semantics Theoretical computer science Applied mathematics Logic in computer science
84	BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-08-23 08:48:12 Programming language semantics Logic in computer science Operational semantics BRIC Peter Mosses Gordon Plotkin Congruence relation Theoretical computer science Mathematics Formal methods
85	BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:24:57 Programming language semantics Applied mathematics Symbol Denotational semantics State transition system Operational semantics Theoretical computer science Models of computation Logic in computer science
86	BRICS Basic Research in Computer Science BRICS RSAceto et al.: Structural Operational Semantics Structural Operational Semantics Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-09-28 19:30:21
87	BRICS RSK. Krukow: An Operational Semantics for Trust Policies BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-11-21 16:18:31
88	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2007-12-16 08:06:13
89	BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: Logical Specification of Operational Semantics Logical Specification of Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-02-15 18:07:12
90	An operational semantics for R5RS Scheme Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 17:03:18

UPDATE